<html>
<head><meta charset="utf-8"><title>documenting the MIR borrow check · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html">documenting the MIR borrow check</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="133129403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133129403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133129403">(Aug 31 2018 at 15:06)</a>:</h4>
<p>Hi all! I've started taking a shot at expanding the rustc-guide documentation for the MIR borrow check. (Some of this content, as an aside, should probably also be added as rustdoc comments)</p>
<p>Here is my first chapter, which describes move-paths:</p>
<p><a href="https://github.com/rust-lang-nursery/rustc-guide/pull/190" target="_blank" title="https://github.com/rust-lang-nursery/rustc-guide/pull/190">https://github.com/rust-lang-nursery/rustc-guide/pull/190</a></p>
<p>I'd love to get feedback. I'm also curious whether other people in this working group would feel up to drafting chapters. Maybe we can divide up this work? I think it's pretty important that before we call things "done" we have decent documentation.</p>



<a name="133129415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133129415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133129415">(Aug 31 2018 at 15:06)</a>:</h4>
<p>cc <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span> but also <span class="user-mention" data-user-id="125250">@Wesley Wiser</span> (not sure if you're in that alias...?)</p>



<a name="133130874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133130874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Basile Desloges <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133130874">(Aug 31 2018 at 15:33)</a>:</h4>
<p>Do you plan on having something written in <code>./mir/borrowck.md</code> and <code>./mir/regionck.md</code>? I saw that you removed the content of these files except for the title, but still kept the files themselves and links to them in the summary.</p>



<a name="133131113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133131113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133131113">(Aug 31 2018 at 15:38)</a>:</h4>
<p>I .. eh?</p>



<a name="133131114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133131114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133131114">(Aug 31 2018 at 15:38)</a>:</h4>
<p>that was a mistake then</p>



<a name="133131118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133131118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133131118">(Aug 31 2018 at 15:38)</a>:</h4>
<p>I thought I removed them</p>



<a name="133131170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133131170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133131170">(Aug 31 2018 at 15:39)</a>:</h4>
<p>fixed</p>



<a name="133131226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/documenting%20the%20MIR%20borrow%20check/near/133131226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Basile Desloges <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/documenting.20the.20MIR.20borrow.20check.html#133131226">(Aug 31 2018 at 15:40)</a>:</h4>
<p><span class="emoji emoji-1f44d" title="thumbs up">:thumbs_up:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>